COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	notes for patterns in logic paper
C00004 ENDMK
C⊗;
notes for patterns in logic paper

mappings of patterns
does this give distortion, projection and occlusion?

the general LISP inverter

what is the relation between a proof of the existence of an object
satisfying a pattern and obtaining it?

another try at programming the inverter, but don't spend all the time
on it.

Cordell thesis

temporal patterns

	This paper explores the consequences of a very general view
of patterns and pattern matching.  For us, a pattern is a sentence
with free variables.  To match the pattern is to find values for
the variables that make the sentence true.  An actual pattern matcher
must be restricted to some class of sentences.  The present pattern
matchers that I know about restrict themselves to very small classes
of sentences and don't actually represent the patterns by sentences,
but representations that are used can be changed to sentential representations
without distorting the meaning of the pattern matching system, and
with some gain in clarity and ability to compare different systems.